Iof proof for Lemma sq stable implies:
1. P :
2. Q :
3. (
Q) 
Q
4.
(P Q)
5. P
Q
by ((((((BasicSquashHD 4)
CollapseTHEN (UnhideSinceSquashedConcl))
)
CollapseTHEN (SquashCD))
C)
CollapseTHEN (HypBackchain))
C.| 9,38 |
Q) Q
(P Q)
Q
by ((((((BasicSquashHD 4)
CollapseTHEN (UnhideSinceSquashedConcl)))
CollapseTHEN (SquashCD))
C)
CollapseTHEN (HypBackchain))
C.
| Definitions |  TT Q |